//
// Created by ziya on 22-6-26.
//

#include "../include/kernel.h"
#include "../include/tty.h"
#include "../include/string.h"

char printk_buff[1024] = {0};